Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
731	Statistical Debugging: Simultaneous Identification of Multiple Bugs Alice X. Zheng Carnegie Mellon University, School of Computer Science, Pittsburgh, PA [removed] Add to Reading List Source URL: alicezheng.org Language: English - Date: 2013-11-10 20:04:28 Predicate logic Grammar Predicate Semantics Cluster analysis Software bug Function Syntactic predicate Mathematics Logic Statistics
732	Predicate Programming Guide Contents Introduction 4 Add to Reading List Source URL: developer.apple.com Language: English - Date: 2014-12-19 17:13:32 Mathematical logic Data management Predicate Where Null SQL Join Syntactic predicate XPath 1.0 Logic SQL keywords Predicate logic
733	Bug Isolation via Remote Program Sampling Ben Liblit † Alex Aiken † Add to Reading List Source URL: alicezheng.org Language: English - Date: 2013-11-10 20:05:24 Profiling Software optimization Sampling Software bug Null Predicate Sample Pin Logic Mathematical logic Computer programming
734	Scalable Statistical Bug Isolation Ben Liblit Mayur Naik Alice X. Zheng Add to Reading List Source URL: alicezheng.org Language: English - Date: 2013-11-10 20:05:34 Predicate logic Grammar Predicate Semantics Software bug Extension Logic programming Function Logic Mathematical logic Mathematics
735	A Technique for Analyzing the Effects of Changes in Formal Specifications Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-18 20:03:24 Predicate logic Propositional calculus Semantics Model theory First-order logic Cross-linked polyethylene Function Predicate Propositional formula Logic Mathematical logic Mathematics
736	SLINT+ Results for OAEI 2013 Instance Matching Khai Nguyen1 and Ryutaro Ichise2 1 The Graduate University for Advanced Studies, Japan [removed] Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-10-07 23:10:20 Mathematical logic Knowledge representation Predicate logic Query languages Predicate Ontology alignment Linked data Function SQL Logic Mathematics Semantic Web
737	Weakly Supervised Learning of Semantic Parsers for Mapping Instructions to Actions Yoav Artzi and Luke Zettlemoyer Computer Science & Engineering University of Washington Seattle, WA 98195 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-04-09 19:51:28 Semantics Predicate logic Formal languages Model theory Computational linguistics First-order logic Parsing Combinatory categorial grammar Combinatory logic Logic Mathematics Mathematical logic
738	Solving Logic Puzzles: From Robust Processing to Precise Semantics Iddo Lev,∗ Bill MacCartney,∗ Christopher D. Manning,∗† and Roger Levy† ∗ Department of Computer Science Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2004-05-23 19:03:12 Computational linguistics Philosophical logic Predicate logic Metalogic First-order logic Natural language processing Computational semantics Mathematical logic Well-formed formula Logic Science Semantics
739	SLINT: A Schema-Independent Linked Data Interlinking System Khai Nguyen1 , Ryutaro Ichise2 , and Bac Le1 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-09-06 16:01:24 Linguistics RDF Predicate logic Predicate Semantics Linked data RDF Schema Logic Semantic Web Mathematical logic
740	Computational Semantics in the Natural Language Toolkit Ewan Klein School of Informatics University of Edinburgh Scotland, UK [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-11-21 07:43:16 Model theory Predicate logic Semantics Quantification Philosophical logic First-order logic Interpretation Lambda calculus Function Logic Mathematical logic Mathematics

UPDATE